Infinitary Algebraic Specifications for Stream Algebras

Infinitary Initial Algebra Specifications for Stream Algebras

Algebraic Specification of Reactive Systems

We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra. This allows us to work with an algebra of system specifications in analogy to the process algebras that provide algebras of reactive programs. However, in contrast to process algebras we work with a co...

A pr 2 01 3 Interpolation in many valued logics using algebraic logic Tarek

We prove several interpolation theorems for many valued infinitary logic with quantifiers, by studying expansions of MV algebras in the spirit of polyadic and cylindric algebras.

A general framework for geometric dualities for varieties of algebras

We set up a framework that subsumes many important dualities in mathematics (Birkhoff, Stone, Priestly, Baker-Beynon, etc.) as well as the classical correspondence between polynomial ideals and affine varieties in algebraic geometry. Our main theorems provide a generalisation of Hilbert’s Nullstellensatz to any (possibly infinitary) variety of algebras. The common core of the above dualities be...

On the Power of Algebraic Specifications

We study the expressive power of different algebraic specification methods. In contrast to (nonhierarchical) initial and terminal algebra specifications which correspond to semicomputable and cosemicomputable algebras, hierarchical specifications as e.g. in the specification language CLEAR allow to specify hyperarithmetical algebras and are characterized by them. For partial abstract types we p...